Belief Contraction and Revision over DL-Lite TBoxes
نویسندگان
چکیده
In this paper, we study the operations of contraction and revision for removing and incorporating axioms over DL-Litecore and DL-LiteR TBoxes (Calvanese et al. 2007). The operations are defined in the manner of AGM model-based contraction and revision (Grove 1988; Katsuno and Mendelzon 1992) and are based on a newly defined semantics called type semantics. We show that, as an alternative to description logic (DL) semantics, type semantics is better suited for defining contraction and revision for DL-Lite. We provide characterisations for the defined operations through AGM style rationality postulates. We also provide a quadratic time nondeterministic algorithm for instantiating one of the contrac-
منابع مشابه
Contraction and Revision over DL-Lite TBoxes
Two essential tasks in managing Description Logic (DL) ontologies are eliminating problematic axioms and incorporating newly formed axioms. Such elimination and incorporation are formalised as the operations of contraction and revision in belief change. In this paper, we deal with contraction and revision for the DL-Lite family through a model-theoretic approach. Standard DL semantics yields in...
متن کاملDL-Lite Contraction and Revision
Two essential tasks in managing description logic knowledge bases are eliminating problematic axioms and incorporating newly formed ones. Such elimination and incorporation are formalised as the operations of contraction and revision in belief change. In this paper, we deal with contraction and revision for the DL-Lite family through a model-theoretic approach. Standard description logic semant...
متن کاملUpdating TBoxes in DL-Lite
We study the problem of updates for TBoxes represented in Description Logics of the DL-Lite family. DL-Lite is at the basis of OWL 2 QL, one of the tractable fragments of OWL 2, the recently proposed revision of the Web Ontology Language. In this paper, we address for the first time the problem of updating TBoxes. We propose some principles that TBox updates should respect. We review known mode...
متن کاملRational Elimination of DL-Lite TBox Axioms
An essential task in managing description logic (DL) ontologies is the elimination of problematic axioms. Such elimination is formalised as the operation of contraction in belief change. In this paper, we investigate contraction over DL-LiteR TBoxes. In belief change, a well known approach for defining contraction is via epistemic entrenchments which are preference orderings over formulas. The ...
متن کاملA DL-Lite Ontology Revision Based on An Alternative Semantic Characterisation
Ontology engineering and maintenance require (semi-)automated ontology change operations. Intensive research has been conducted on TBox and ABox changes in description logics (DLs), and various change operators have been proposed in the literature. Existing operators largely fall into two categories: syntax-based and model-based. While each approach has its advantages and disadvantages, an impo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014